paned: Allocate the handle input area properly
authorMatthias Clasen <mclasen@redhat.com>
Wed, 16 Dec 2015 02:06:53 +0000 (21:06 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 16 Dec 2015 02:59:04 +0000 (21:59 -0500)
commit152326bd24432e0e56aaaf6aa769025ea9b2de54
tree3dd080c4499e8c57ff9cdf8e4d9538de8ac9fbd5
parentb14dc6b5a4a1fa0f8aafe720eddb7c5f28feaec0
paned: Allocate the handle input area properly

Drop the margin misuse and use the border allocation of the
handle gadget. We use negative margins to make the border allocation
larger without pushing the paned children out.
gtk/gtkpaned.c
gtk/theme/Adwaita/_common.scss
gtk/theme/Adwaita/gtk-contained-dark.css
gtk/theme/Adwaita/gtk-contained.css